Mathematical model - PDFSEARCH.IO - Document Search Engine

Mathematical model
Results: 5928

#	Item
881	Getting Started with Version 3.6 Table of Contents Table of Contents .......................................................................................................................................... 2 Add to Reading List Source URL: www.remi.com Language: English - Date: 2014-10-28 16:23:57 Operations research Simulation Forecasting Macroeconomic model Economic model Prediction Mathematical sciences Statistical forecasting Macroeconomics Statistics
882	Verified Indifferentiable Hashing into Elliptic Curves Gilles Barthe1 , Benjamin Gr´egoire2 , Sylvain Heraud2 , Federico Olmedo1, and Santiago Zanella-B´eguelin3 1 Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-18 05:09:59 Functions and mappings Model theory Digital signal processing Dirac delta function Fourier analysis Interpretation Characteristic function Distribution Function Mathematical analysis Mathematics Generalized functions
883	Signal Aggregate Constraints in Additive Factorial HMMs, with Application to Energy Disaggregation Mingjun Zhong, Nigel Goddard, Charles Sutton School of Informatics University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-11-07 12:03:01 Convex analysis Convex optimization Markov chain Hidden Markov model Sauk people Cul-de-sac Probability and statistics Mathematical analysis Markov models Mathematical optimization Statistics
884	SATISFIABILITY GAMES FOR BRANCHING-TIME LOGICS OLIVER FRIEDMANN, MARKUS LATTE, AND MARTIN LANGE e-mail address: {oliver.friedmann, markus.latte}@ifi.lmu.de Department of Computer Science, Ludwig-Maximilians-University Mu Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-08-22 12:16:49 Model theory Metalogic Logic in computer science Formal languages Temporal logic Well-formed formula First-order logic Symbol Satisfiability Logic Mathematical logic Theoretical computer science
885	The Inframetric Model for the Internet Pierre Fraigniaud Emmanuelle Lebhar Laurent Viennot Add to Reading List Source URL: www.liafa.jussieu.fr Language: English - Date: 2008-01-14 08:18:56 Metric geometry Metric space Topology Continuous function Distribution Mathematical analysis Mathematics Geometry
886	Mathematics Interim Assessment Blocks Blueprint VThe following tables summarize the Interim Assessment Blocks available at each grade level. Specific information on each block follows these tables. Add to Reading List Source URL: www.smarterbalanced.org Language: English - Date: 2015-02-11 17:43:04 Educational psychology Problem solving Economic model Mathematical model Function Diagram Conceptual model Logic Mathematics Ethology Thought
887	A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella}@imdea.org Abstract—Zero-knowled Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Mathematical logic Model theory Proof of knowledge Functions and mappings IP Zero-knowledge proof Structure Functor Soundness Mathematics Cryptographic protocols Logic
888	Verifying Safety Properties using Separation and Heterogeneous Abstractions Eran Yahav∗ G. Ramalingam Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-04-25 07:36:40 Predicate logic Formal methods Logic in computer science Systems engineering First-order logic Model theory Java Database Connectivity Abstraction Formal verification Logic Mathematical logic Mathematics
889	Editorial: Special issue on non-classical mathematics The 20th century witnessed not only incredible advances in the model theory and proof theory of classical logic, but also a corresponding advance of non-classical (or Add to Reading List Source URL: consequently.org Language: English Paraconsistent logic Intuitionism Intuitionistic logic Classical logic Many-valued logic Fuzzy logic Proof theory Modal logic Truth value Logic Mathematical logic Non-classical logic

UPDATE